#define CONFIG_X86_P4_CLOCKMOD_MODULE 1
